$\forall$$b$:$\mathbb{B}$. Dec($\uparrow$$b$)